Shared contract-obedient channels
نویسندگان
چکیده
Article history: Received 15 January 2013 Received in revised form 24 May 2014 Accepted 22 September 2014 Available online 2 October 2014
منابع مشابه
Shared Contract-Obedient Endpoints
Most of the existing verification techniques for message-passing programs suppose either that channel endpoints are used in a linear fashion, where at most one thread may send or receive from an endpoint at any given time, or that endpoints may be used arbitrarily by any number of threads. The former approach usually forbids the sharing of channels while the latter limits what is provable about...
متن کاملA Model for Sharing the Costs of Uncontrollable Risks among Contracting Parties
The allocation of risks among the contracting parties in a contract is an important decision affecting the project success. Some risks in a project are uncontrollable; these are imposed to a project by external factors. Since contracting parties can neither control nor affect the occurrence of such risks, their allocation to a party would be inequitable. Therefore the cost overrun related to un...
متن کاملExtending Design by Contract for Aspect-Oriented Programming
Design by Contract (DbC) and runtime enforcement of program assertions enables the construction of more robust software. It also enables the assignment of blame in error reporting. Unfortunately, there is no support for runtime contract enforcement and blame assignment for Aspect-Oriented Programming (AOP). Extending DbC to also cover aspects brings forward a plethora of issues related to the c...
متن کاملSupply Chain Coordination through Lead Time Crashing in a Socially Responsible Supply Chain Considering Transportation Modes and Carbon Emissions Tax
In this paper, a socially responsible supply chain consisting of one supplier and one retailer is proposed. The supplier decides on replenishment cycle multiplier and the retailer invests in corporate social responsibility (CSR) and decides on the order-up-to-level under a periodic review replenishment policy. The retailer’s decisions impact on the supplier’s probability as well as the supply c...
متن کاملDesigning Contracts and Sourcing Channels to Create Shared Value
In complex supply chains, the benefits and costs of technological innovations do not always accrue equitably to all parties; their adoption may thus critically depend on sourcing relationships and incentives. In a setting with uncertain and endogenous process yield, we study the potential of two features—contract design and sourcing channel—to create mutual benefit in decentralized value chains...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Sci. Comput. Program.
دوره 100 شماره
صفحات -
تاریخ انتشار 2015